Book Review: Annuaire pour l'An 1916 publié par le Bureau des Longitudes

Application de la méthode par diffusion d'Oudin-Oakley pour le dénombrement des antigènes tétaniques

Book Review: Pratiquer l'ACT par le Clown [ACT through Clown]

application de la méthode par diffusion d'oudin-oakley pour le dénombrement des antigènes tétaniques

0

Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles

We focus in this PhD on the definition of an industrial platform promoting a better integration oftechniques for requirements verification and validation within software development processes. Thisplatform called R2A (which stands for Requirements for Analysis) is entirely built using technologiesfrom model-driven engineering. The core of the platform is a model composition process ...

Contractualisation des ressources pour le deploiement des composants logiciels

Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they may in turn fail to perform satisfactorily. In this paper, we present a contract-based approach to take a specific category of non-functional properties speci...